Mathematical problem - PDFSEARCH.IO - Document Search Engine

Mathematical problem
Results: 2693

#	Item
401	The 5-and-10 problem and the tiling agents formalism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written duri Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-06 13:55:10 Knowledge Logic Eliezer Yudkowsky Transhumanists Formalism Mathematical proof Vacuous truth Mathematical logic Mathematics Singularitarianism
402	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic
403	REGULARITY THEORY FOR GENERAL STABLE OPERATORS XAVIER ROS-OTON AND JOAQUIM SERRA Abstract. We establish sharp regularity estimates for solutions to Lu = f in Ω ⊂ Rn , being L the generator of any stable and symmetric Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2014-12-12 17:32:33 Constructible universe Symbol Differential operator Central limit theorem Operator theory Ordinary differential equations Spectral theory Sturm–Liouville theory Congruence lattice problem Mathematical analysis Calculus Mathematics
404	INTEGRAL MANIFOLDS OF THE N-BODY PROBLEM Alain Albouy IMCCE, Observatoire de Paris, UMR 8028, CNRS 77, avenue Denfert-Rochereau, FParis Add to Reading List Source URL: www.imcce.fr Language: English - Date: 2015-07-13 14:40:07 Differential topology Geometric topology Symplectic geometry Mathematical physics Symplectic topology Differentiable manifold Manifold Diffeomorphism Symplectic vector space Topology Mathematics Physics
405	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
406	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
407	Learning to be Credible In-Koo Cho 1 and Thomas J. Sargent 2 JanuaryThis paper was prepared for presentation at the conference to celebrate the Bank of Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-04-08 13:04:15 Mathematical analysis Mathematics Continuous game Mechanism design Game theory Nash equilibrium Problem solving
408	BIRS worshop 15w5067: Advances in Numerical Optimal Transportation Feb 15 - Feb 20, 2015 February 10, Add to Reading List Source URL: www.birs.ca Language: English - Date: 2015-02-12 16:52:23 Operations research Mathematical optimization Regression analysis Partial differential equation Inverse problem Linear programming Transportation theory Calculus of variations Monge–Ampère equation Mathematical analysis Mathematics Calculus
409	NONLOCAL PROBLEMS WITH NEUMANN BOUNDARY CONDITIONS SERENA DIPIERRO, XAVIER ROS-OTON, AND ENRICO VALDINOCI Abstract. We introduce a new Neumann problem for the fractional Laplacian arising from a simple probabilistic cons Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2014-08-14 13:34:57 Operator theory Linear algebra Heat equation Heat transfer Differential equation Hilbert space Integration by parts Calculus of variations Ordinal number Mathematical analysis Calculus Mathematics
410	THE DIRICHLET PROBLEM FOR THE FRACTIONAL LAPLACIAN: REGULARITY UP TO THE BOUNDARY XAVIER ROS-OTON AND JOAQUIM SERRA Abstract. We study the regularity up to the boundary of solutions to the Dirichlet problem for the fract Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2014-08-14 13:37:58 Partial differential equations Constructible universe Free boundary problem Harmonic function Heat equation Ordinal numbers Sobolev spaces Symbol Ordinal arithmetic Calculus Mathematics Mathematical analysis

UPDATE